Leslie Lamport, Frank Mittelbach, Chris Rowley